[计] 符号逻辑
词型变化:名词复数形式 : symbolic logics

symbolic logic的用法和样例:

例句

用作名词(n.)
  1. On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic.柏格森的敌人罗素肯敷衍中国人,请他喝过一次茶,他从此研究数理逻辑。
  2. The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
  3. George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
  4. Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.除了线性逻辑符号,人工智能研究者还为逻辑开发了图形符号,叫做语义网络。
【近义词】

The 1) boldness and ambition of the Acropolis was funded by the 2) spoils of war, a war that determined the fate of Greece. In 480 BC, 3) Athens 4) lay in ruins conquered by the 5) seemingly 6) unstop

发表于:2018-11-28 / 阅读(312) / 评论(0) 分类 疯狂英语2002年

Norwegian Wood Written by Haruki Murakami I was thrity-seven then, 1) strapped in my seat as the huge 747 2) plunged through 3) dense cloud cover on approach to the Hamburg airport. Cold November rain

发表于:2018-11-28 / 阅读(359) / 评论(0) 分类 疯狂英语2003年

smash Police smashed the drug ring. sophisticated He thinks it's sophisticated to smoke with a cigarette holder. speculate I wouldn't like to speculate on the reasons for her resignation. spontaneous The highest and best form of efficiency is the spo

发表于:2018-12-01 / 阅读(314) / 评论(0) 分类 大学英语六级考试高频词汇

[00:04.10]knife knit knob knock [00:08.37]n.餐刀v.用刀切 v.编织,编结,接合,粘合n.把手,门把,旋钮 v./n.敲,敲打,碰撞 [00:12.64]knot know knowledge [00:16.03]n.结,节能 v.打结 vt.知道,了解,熟悉,精通 n.知识,学问,知道

发表于:2018-12-15 / 阅读(296) / 评论(0) 分类 考研英语词汇2005

VOICE ONE: This is Mary Tillotson. VOICE TWO: And this is Steve Ember with the VOA Special English program EXPLORATIONS. Today we visit a small museum in the state of Maryland. It is called the National Cryptologic Museum. It is filled with informat

发表于:2018-12-15 / 阅读(197) / 评论(0) 分类 VOA慢速英语2008年(九)月

[00:11]Day 34 [00:13]legal [00:15]A country's legal responsibility [00:17]toward genuine refugees [00:19]should not be manipulated for political ends. [00:24]less [00:25]He should speak less and listen more. [00:29]liar [00:30]Have you any grounds fo

发表于:2018-12-18 / 阅读(176) / 评论(0) 分类 星火英语四级2000核心词

摘要:本文介绍了日本新时代女性的语言特点,并且简要分析了其中的原因。同为儒家文化圈,发生在日本女性身上的变化也很值得中国人的关注。 英语听力原文: The use of deferential(敬重的

发表于:2018-12-27 / 阅读(231) / 评论(0) 分类 英语听力小短文走遍全世界

The biggest thing Mr Gurumurthy is thought to have helped get done is demonetisation in 2016, 普遍认为古穆绥帮助做成的最大一件事就是2016年的货币废止, when 86% of bank notes by value were abruptly withdrawn from circulation

发表于:2018-12-29 / 阅读(155) / 评论(0) 分类 经济学人财经系列

今天我们要学的词是symbolic. Symbolic形容词,意思是有象征性的,有象征意义的。Two black men arrested for sitting in a Philadelphia Starbucks without ordering anything settled with the city for a symbolic $1 each. 在费城一

发表于:2018-12-30 / 阅读(152) / 评论(0) 分类 英语单词荟萃

EXPLORATIONS - September 18, 2002: National Cryptologic Museum By Paul Thompson German Nazi, American and Japanese coding machines. (Photo - Ed Bunyan) VOICE ONE: This is Mary Tillotson. VOICE TWO: An

发表于:2019-01-02 / 阅读(223) / 评论(0) 分类 Explorations

The Olympic womens hockey team made up of players from North and South Korea has ended its historic run at the Winter Games. Team Korea lost to Sweden 6-1 Tuesday in its last game in PyeongChang, South Korea. The joint team included 23 players from S

发表于:2019-01-03 / 阅读(168) / 评论(0) 分类 2018年VOA慢速英语(二)月

And maybe one day I'll be wiser 也许有一天,我会学聪明 'Cause maybe one day I'll be further from here 因为那一天,我会远超现在的自己 Put all of my faith in tomorrow 把所有希望,寄托在明天 Dark days keep me up all

发表于:2019-01-03 / 阅读(207) / 评论(0) 分类 听歌学英语

A Visit to Americas National Cryptologic Museum From VOA Learning English, this is EXPLORATIONS in Special English. Im Jeri Watson. And Im Jim Tedder. Today we visit a small museum in the American state of Maryland. It is called the National Cryptolo

发表于:2019-01-12 / 阅读(196) / 评论(0) 分类 2013年VOA慢速英语(五)月

EXPLORATIONS - A Visit to Americas National Cryptologic Museum From VOA Learning English, this is EXPLORATIONS in Special English. Im Jeri Watson. And Im Jim Tedder. Today we visit a small museum in the American state of Maryland. It is called the Na

发表于:2019-01-12 / 阅读(227) / 评论(0) 分类 2013年VOA慢速英语(四)月

Several days of anti-war activities in Washington have culminated with the procession of symbolic coffins across the streets of the capital. Many demonstrators said they had supported President Barack Obama in his election in 2008, but were now disap

发表于:2019-01-13 / 阅读(158) / 评论(0) 分类 VOA标准英语2010年(三月)

A British film maker who 'married' a tribal warrior says she agreed to it to highlight the oil giants destroying his Amazon home. 英国一位电影制片人日前把自己下嫁到了土著部落,她表示自己同意与一位土著武士成婚是为

发表于:2019-02-01 / 阅读(218) / 评论(0) 分类 阅读空间

Of Studies Francis Bacon Studies serve for delight, for ornament, and for ability. Their chief use for delight, is in privateness and retiring; for ornament, is in discourse;and for ability, is in the judgment and disposition of business. For expert

发表于:2019-02-09 / 阅读(283) / 评论(0) 分类 英语美文

Greek and Turkish Cypriots have removed a blockade that has separated them for half a century. Ledra Street, a thoroughfare in the heart of Nicosia had become a potent symbol of Cyprus's ethnic partition. 希腊裔和土耳其裔的塞浦路斯人拆除

发表于:2019-02-14 / 阅读(198) / 评论(0) 分类 VOA双语新闻 2008年4月

Reporter: The IMF's executive board decided that the renminbi qualified for the SDR basket and existing criteria. Christine Lagarde, managing director of the IMF, made the announcement in Washington. Lagarde says the decision is an important mileston

发表于:2019-02-19 / 阅读(173) / 评论(0) 分类 英语新闻

In a different world I'd now what is really right to do. To keep far away all the shit that is fucking up my mood. Pushing down my throath the solution for my brain abuse. In a dirty world where emotions got a price for you. Technologic age spreading

发表于:2019-02-26 / 阅读(210) / 评论(0) 分类 英文摇滚歌曲
学英语单词
504
above-line
action of subrogation
adeno-acanthoma of ovary
ahoy-hoy
air pipe strainer
autoclavable membrane
automaps
automatic hovering control
Breil-sur-Roya
browser modifier
Bs B
buffering rubber ring
Burdach's fibers
cast fleece
casting material
center-type cylindrical grinding
Cerberus, Mount
chaining catenate
chorioidopapilloma
clutch toggle lever strut
Coelogyne flaccida
Colchicini
companion mesh
compliance statement
cortesini
cotton-lycra
Crambidae
ctenidium enerve
davallia pectinata
dieguenoes
dimpsy
discriminative conditions
distribute round
dual independent bus
eragrostis amabilis
extended link
extinction pricing
fire weather
front-end control facility
fynds
gastric enzyme
genus Spirodela
get rid of oil
gp91phox
Grafrath
greyf
groundhoppers
harlequin fetus
hierologic
homocentric
hot-atom reactions following beta decay
HQI
ICRDDS
indirect data address list
inking roller casting machine
kathemoglobin
leafeater
Lilienthal Glacier
liquid penetrate inspection
loughborough university
Luy's segregator
magmatic ore
margin client
marketing facilities
mediopalatine
melanogogues
Middendorfa, Mys
monkey-chatter interference
monophase system
multiblade rotating compressor
multiple entry volume table
network stabilization
notarial acknowledgment
Number Ten (Downing Street)
optical network terminal
plunger type viscometer
productivity software
profit-maximization hypothesis
proto-Muslim
red-lead putty
relative shear
sacerdotally
snuffest
sporogonia
standard heat enthalpy of formation
steam-tent
sub-semantic resolution
substernal struma
supplementary schedules
tapaa
thrans
Tondury
tracker dog
trifloxystrobin
underground pipelines comprehensive design
unwarranted claim
vaner
vat pasteurization
veggie garden
yanamayo
Yomogida-dake